body {
	background-color:#eeeeee;
	margin:0px;
	padding:0px;
	min-width:600px;
}

/* Basic (2 column, liquid) layout */

div#layout-maincontainer {
	margin-left:180px;
}
div#layout-main {
	float:right;
	width:100%;
	margin:0 0 0 -180px;
}
div#layout-leftcol {
	width:180px;
	margin:0 0 0 0;
}
div#layout-footer {
	clear:both;
}

/* Banner */

#prism-banner {
	width:100%;
	height:80px;
	margin:0;
	padding:0;
	border:0;
	text-align:center;
	background-color:#6260c1; /* Right blue */
}
#prism-bannerlefthalf {
	position:absolute;
	top:0;
	left:0;
	width:50%;
	height:80px;
	margin:0;
	background-color:#272582; /* Left blue */
}
#prism-bannerrighthalf {
	position:absolute;
	top:0;
	right:0;
	width:50%;
	height:80px;
	margin:0;
	background-color:#6260c1; /* Right blue */
}
#prism-bannerlogo {
	position:absolute;
	top:0;
	left:0;
	width:75px;
	height:60px;
	margin:0;
	padding:10px 0 10px 25px;
	text-align:left;
	background-color:#272582; /* Left blue */
}
#prism-bannerurl {
	position:absolute;
	top:0;
	left:0;
	width:100%;
	height:80px;
	margin:0;
	padding:0;
	text-align:center;
}
#prism-bannerurl img {
	margin:0 100px 0 0; /* Centre URL but allow for fact RHS is wider */
}
#prism-bannerright {
	height:80px;
	background-color:#333173;
}
#prism-searchbox {
	position:absolute;
	top:28px;
	right:20px;
	text-align:right;
}
#prism-searchbox #q {
	background:#d9dbe1;
	border:1px solid #9097a2;
	padding:2px;
	width:100px;
}
#prism-searchbox #submit {
	background:#6A7389 none repeat scroll 0%;
	border-color:#9097a2 #283043 #283043 #9097a2;
	border-style:solid;
	border-width:1px;
	color:#ffffff;
	padding:1px 4px;
}

/* Main navigation bar (horizontal) */

#prism-navbar {
	clear:both;
	padding:4px 0 4px 30px;
	border:solid #777777;
	border-width:0 0 1px 0;
	background:#999999 url('http://prismmodelchecker.localhost/manual/pub/skins/offline/images/nav_top.png') 0 0 repeat-x;
	font-weight:bold;
	text-align:center;
}
#prism-navbarinner {
}
#prism-navbar .prism-navitem {
	padding:0 3px 0 3px;
	color:black;
}
#prism-navbar .prism-navitem:link { color:black; text-decoration:none; }
#prism-navbar .prism-navitem:visited { color:black; text-decoration:none; }
#prism-navbar .prism-navitem:hover { color:black; text-decoration:none; background-color:#aaaaaa; }
#prism-navbar .prism-navitem:active { color:black; text-decoration:none; }

#prism-navbar .prism-navitemsel {
	padding:0 5px 0 5px;
	color:white;
}
#prism-navbar .prism-navitemsel:link { color:white; text-decoration:none; }
#prism-navbar .prism-navitemsel:visited { color:white; text-decoration:none; }
#prism-navbar .prism-navitemsel:hover { color:white; text-decoration:none; background-color:#aaaaaa; }
#prism-navbar .prism-navitemsel:active { color:white; text-decoration:none; }

/* Main content box */

#prism-mainbox {
	padding:5px 30px 100px 30px;
	border:solid #cccccc;
	border-width:0 0 1px 1px;
	background-color:#ffffff;
}
#prism-unilogo {
	float:right;
	margin:15px 0 10px 10px;
}

/* Second navigation panel (LHS) */

#prism-navbar2 {
	padding:5px 20px 250px 20px;
	background:#eeeeee url('../images/trinity.png') 0 0 no-repeat;
	color:#333333;
}
#prism-navbar2 a {
	font-size:10pt;
	color:#333333;
}
#prism-navbar2 .selflink {
	color:#000000;
	font-weight:bold;
}
#prism-navbar2 h1, #prism-navbar2 h1 a {
	margin-bottom:0.3em;
	font-size:13pt;
}
#prism-navbar2 h3, #prism-navbar2 h3 a {
	margin-bottom:0.3em;
	font-size:11pt;
}
#prism-navbar2 ul {
	margin-left:0;
	padding-left:1em;
	list-style:none;
}
#prism-navbar2 li {
	margin-left:0;
	padding-left:18px;
	margin-top:3px;
	background:url('../images/hyphen.png') no-repeat 0 0.4em; /* Use this rather than list-style-image to allow vertical centre */
}
#prism-navbar2 .prism-newsitem {
	margin-top:10px;
	margin-left:5px;
	font-size:9pt;
}
#prism-navbar2 .prism-newsitem a {
	font-size:9pt;
	color:blue;
}
#prism-navbar2 hr {
	height:0;
	border:dotted #808080;
	border-width:1px 0 0 0;
}

/* Footer */

#prism-footer {
	/*margin-left:180px;*/
	padding:20px 0 30px 0;
	text-align:center;
}

/* General components/styles */

/* Tables */

table.prism-table {
	background-color:#eeeeee;
	color:#333333;
	text-align:left;
	margin-left:auto;
	margin-right:auto;
	border-collapse:collapse;
	border:solid 2px #000000;
}
table.prism-table a {
	/*color:#333333;*/
}
table.prism-table tr.prism-th td {
	border-color:#999999;
	background-color:#cccccc;
	color:#000000;
	font-weight:bold;
	text-align:center;
}
table.prism-table tr.prism-thl td {
	border-color:#999999;
	background-color:#cccccc;
	color:#000000;
	font-weight:bold;
	text-align:left;
}
table.prism-table td {
	border:1px solid;
	border-color:#999999 #dddddd #999999 #dddddd;
	padding:1px 5px 1px 5px;
	vertical-align:top;
	text-align:left;
}

/* Other */

.prism-newsitem {
	padding-bottom:10px;
}
.prism-newsitemhead {
	font-weight:bold;
}

.prism-rule {
	width:100%;
	height:0px;
	border:0px;
	border-top:dotted 2px #000099;
	margin:15px 0 15px 0;
}

img.prism-image {
	display:block;
	margin-left:auto;
	margin-right:auto;
	padding:4px;
	border:solid 1px #333333;
}
.prism-image-caption {
	margin-top:5px;
	text-align:center;
	font-weight:bold;
}

ul.prism-list0 {
	margin-left:0;
	padding-left:1em;
	list-style:none;
}
ul.prism-list0 li {
	margin-left:0;
	padding-left:18px;
	background:url('../images/bullet0.png') no-repeat 0 0.4em; /* Use this rather than list-style-image to allow vertical centre */
}
ul, ul.prism-list {
	margin-left:0;
	padding-left:1em;
	list-style:none;
}
ul li, ul.prism-list li {
	margin-left:0;
	padding-left:18px;
	background:url('../images/bullet.png') no-repeat 0 0.4em; /* Use this rather than list-style-image to allow vertical centre */
}
ul.prism-list2, ul ul {
	margin-left:0;
	padding-left:1.5em;
	list-style:none;
}
ul.prism-list2 li, li li {
	margin-left:0;
	padding-left:18px;
	background:url('../images/bullet2.png') no-repeat 0 0.4em; /* Use this rather than list-style-image to allow vertical centre */
}

.prism-code {
	background-color:#ffffcc;
	border:dotted 2px #999999;
	margin:10px;
	padding:10px;
	width:90%; /* Need a width or else IE6 gets upset */
	overflow:auto;
}
.prism-code-scroll {
	background-color:#ffffcc;
	border:dotted 2px #999999;
	margin:10px;
	padding:10px;
	height:500px;
	width:90%; /* Need a width or else IE6 gets upset */
	overflow:auto;
}
* html .prism-code {
	padding-bottom:1.5em; /* Nasty hack to fix IE6 scrollbar positioning */
}
.prismkeyword { font-weight:bold; }
.prismident { color:#cc0000; }
.prismnum { color:#0000cc; }
.prismcomment { font-style:italic; color:#009900; }
.prismpreproc { color:#a020f0; }

.prism-floatbox {
	clear:both;
	float:right;
	width: 100px;
	background-color:#bdced6;
	border:dotted 1px #000099;
	margin:20px 10px 20px 20px;
	padding:10px;
}

.prism-download-box {
	border:dotted 2px #000099;
	margin:15px;
	padding:15px;
}

a.prism-cite { color:#006600; }

.prism-note { color:#666666; }
.prism-note a { color:#666666; }
.prism-note a.prism-cite { color:#006600; }

.prism-task {
	vertical-align:top;
	width:47px;
	height:28px;
	float:left;
	clear:both;
}
